(geb. 1922) Der polnische Mathematiker, Logiker und Philosoph Andrej Grzegorczyk wurde 1822 in Bonn geboren. Er befasste sich mit der klassischen zweiwertigen Logik, mit Problemen der Metamathematik, der Theorie der rekursiven Funktionen, der Theorie der rekursiven Funktionale und mit Anwendungen in der konstruktiven Logik. Nach...